Eternity variables to prove simulation of specifications
نویسندگان
چکیده
منابع مشابه
Eternity Variables to Simulate Specifications
Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...
متن کاملUsing eternity variables to specify and prove a serializable database interface
Eternity variables are introduced to specify and verify serializability of transactions of a distributed database. Eternity variables are a new kind of auxiliary variables. They do not occur in the implementation but are used in specification and verification. Elsewhere it has been proved that eternity variables in combination with history variables are semantically complete for proving refinem...
متن کاملThe Strong Eternity Service
Strong Eternity Service is a safe and very reliable storage for data of high importance. We show how to establish persistent pseudonyms in a totally anonymous environment and how to create a unique fully distributed name-space allowing both computer-efficient and humanacceptable access. We also present a way how to retrieve information from such data storage. We adapt the notion of the mix-netw...
متن کاملLearning to Prove in Order to Prove to Learn
Proving is a basic skill for mathematicians; however, this is a difficult skill for some students to learn. In fact, traditionally students have struggled with learning to prove in their junior level mathematics courses. Recently, many universities have instituted a transition course to help students make the transition from computational courses to more proof based courses. This paper is a sur...
متن کاملFrom Temporality to Eternity: Three Philosophical Approaches
This article studies the problem of eternal life from a philosophical perspective. It focuses on the approaches of Bergson, Husserl, and Heidegger from contemporary philosophy, and shows that using these three philosophical approaches can better explain certain aspects of revealed theology, such as resurrection of flesh, eternity in a transcendent dimension, and eternal life as the angels in he...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2005
ISSN: 1529-3785,1557-945X
DOI: 10.1145/1042038.1042044